Relacj [~] antysymetryczn, przechodni i spjn w zbiorze [~], ktry stanowi jej pole, nazywamy relacj porzdkujc lub krtko porzdkiem w zbiorze [~]. W przypadku gdy relacja [~] porzdkuje zbir [~] i [~] pozostaje w relacji do [~] dla [~] i [~] z tego zbioru, mwimy, e [~] poprzedza [~] wedug relacji [~] a [~] nastpuje po [~] 